Recent Advances in Parallel Virtual Machine and Message Passing Interface
This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...
Continue reading
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192)
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...
Continue reading
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Continue reading
Service Availability
Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
Continue reading
Service Availability (vol. # 4328)
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Continue reading
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Continue reading
Software Design for Resilient Computer Systems
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
Continue reading
Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
Continue reading
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Continue reading
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Continue reading
Wired/Wireless Internet Communications : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
This book is organized in topical sessions on performance analysis of wireless systems, resource and QoS management, implementation ...
Continue reading
